Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
De Bruijn notation lambda-calculus lambda abstraction lambda expression postfix notation prefix notation infix notation Weak Head Normal Form name capture pure lambda-calculus beta reduction polymorphic lambda-calculus alpha conversion Lambda Prolog typed lambda-calculus Head Normal Form quine LAMBDA Second-Order Lambda-calculus LambdaMOO System F dot notation Reverse Polish Notation Hungarian Notation UAN syntactic sugar beta abstraction Church integer Lolli constant applicative form free variable fully lazy lambda lifting delta reduction space-cadet keyboard Gofer Internet address Fun SweetLambda esim SLIPS FALSE Burge's Language closure conversion Kid list comprehension beta conversion reverse polish syntax DIANA CUCH Alonzo Church Knights of the Lambda-Calculus Vlisp PCN SLIM lenient evaluation Lambada-Calculus head normalisation theorem LGN X.208 ASN.1 more...